Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
611	CS 224d: Assignment #3 Due date: :59 PM PST (You are allowed to use three (3) late days maximum for this assignment) This handout consists of several homework problems, as well as instructions on the “deliverabl Add to Reading List Source URL: cs224d.stanford.edu Language: English - Date: 2016-06-01 01:35:27 Computer programming Software engineering Computing Recursion Artificial neural network Computational neuroscience Mathematical psychology B-tree Tree Recurrent neural network
612	Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo Talk presented at the 25 years Simula 67 Anniversary Conferences, NordwijkerhoutJune 1992 and Oslo 22 June. Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computer programming Subroutines Data types Recursion Type theory Programming idioms Fold ALGOL 68 Subtyping Record Generator
613	SALSA: Scalable and Low Synchronization NUMA-aware Algorithm for Producer-Consumer Pools Elad Gidron CS Department Technion, Haifa, Israel Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2012-07-22 09:33:51 Concurrent computing Computing Scheduling Parallel computing Concurrency Computer programming Producerconsumer problem Synchronization Non-blocking algorithm Work stealing Thread ACT-R
614	PDF Document Add to Reading List Source URL: infomational.files.wordpress.com Language: English - Date: 2010-04-01 11:07:26 Computer programming Obfuscation Gaming Linguistics Index of standards articles Standards Classical cipher
615	Lecture 18: OpenMP and MAXLOC William Gropp www.cs.illinois.edu/~wgropp More OpenMP Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-02-17 16:52:06 Software engineering Computer programming Computing Parallel computing OpenMP Thread Directive Lock D
616	P UBLICATIONS C HRISTOPH M. K IRSCH www.cs.uni-salzburg.at/∼ck C ONFERENCE AND W ORKSHOP PAPERS Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English - Date: 2016-07-18 08:27:08 Software engineering Programming language theory Theoretical computer science Index Search engine indexing Actor model ALGOL 68 Symposium on Logic in Computer Science
617	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:03:05 Theoretical computer science Computational complexity theory Mathematics Constraint programming Numerical software Automated theorem proving DPLL algorithm Packing problems Solver Constraint satisfaction Reduction Algorithm
618	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:45:21 Theoretical computer science Mathematical logic Mathematics Logic programming Logic in computer science Automated theorem proving Formal methods Unification Lambda calculus Constraint logic programming Conjunctive normal form
619	Advances in Programming Languages APL13: Concurrency Abstractions David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-22 15:21:26 Software engineering Computing Computer programming Concurrency control Java Concurrent computing Software design patterns Thread safety Java concurrency Lock Synchronization Immutable object
620	XQuery and Static Typing: Tackling the Problem of Backward Axes Pierre Genevès Nils Gesbert Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-12-08 05:48:48 Software engineering Computer programming Computing Functional languages Data types Query languages Knowledge representation Functional programming XQuery Recursive data type Tree Well-formed formula

UPDATE